Specification and Implementation of a Deep OCL Dialect
نویسندگان
چکیده
The deep modeling tool Multi-level Modeling and Ontology Engineering Environment (Melanee) developed by the Software Engineering Group of the University of Mannheim allows clean and strict meta-modeling across multiple classification levels within Eclipse. Modeling with Melanee comprises two dimensions, a linguistic and an ontological dimension. As Melanee is fully embedded in the Eclipse Modeling Framework, it is usable with the Object Constraint Language (OCL). However, the current OCL implementation is not aware of multi-level modeling features like the distinction between ontological and linguistic classification and the existence of multiple ontological levels. The aim of this thesis is to extend the current OCL implementation so that it is multi-level aware. First, a deep OCL dialect is elaborated which takes deep modeling features into consideration. Based on this dialect, an implementation of an interactive level-agnostic OCL Console will enable queries of different values of different model elements.
منابع مشابه
Visual Specification of Structural and Temporal Properties
The UML has become the de-facto standard in software engineering. Due to the visual nature and accessibility of its structural diagrams, it is widely accepted as the tool of choice for structural modeling. However, for specifying structural properties that go beyond cardinalities, the UML only provides a textual specification language, the OCL. For mixed structural and temporal properties, only...
متن کاملOn the Need of User-defined Libraries in OCL
Reuse is a fundamental concept of efficient software development. Objectoriented implementation languages offer reuse on different levels of granularity: method, class, library. While encapsulation of implementation code within methods and classes enables reuse within a project, user-defined libraries are widely used to share implementation code among different projects. The specification langu...
متن کاملTool Support for OCL and Related Formalisms - Needs and Trends
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the development activities is shifted from implementation code to more abstract models then software developers need a formalism to provide a complete, unambiguous and consistent model at a very detailed level. OCL is curren...
متن کاملITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams
In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementation is directly based on the equational specification of UML+OCL class diagrams. It is written entirely in Maude making extensive use of its reflective capabilities. We also give notice of the Visual ITP/OCL, a Java graphical i...
متن کاملآزمون خودکار نرمافزارهای شیگرا با استفاده از موردهای کاربری و ضوابط OCL
Test automation is one of the major areas in software engineering. Test automation can reduce the high cost of software development and at the same time increases the reliability of the testing process. In this paper we present a novel specification based framework for automating test process based on use case scenarios. It receives software specification that defined with UML at design level a...
متن کامل